home *** CD-ROM | disk | FTP | other *** search
/ Shareware Overload Trio 2 / Shareware Overload Trio Volume 2 (Chestnut CD-ROM).ISO / dir27 / atk18ibm.zip / DOC / ANAL.DOC < prev    next >
Text File  |  1991-12-11  |  4KB  |  87 lines
  1. The analysis tool does a number of tests on individual diagrams, and on
  2. the boundary conditions between a diagram and its parent.
  3.  
  4. A number of options are be settable in the config.anal file.
  5. Some options are NOT settable from the config file -- in particular, the
  6. project directory is not settable in this way.
  7.  
  8. All reports and checks are done by default.
  9.  
  10. ANAL reports each diagram and its contents as it descends the tree. 
  11. ANAL will find 'orphaned' diagrams.  A diagram is orphaned if its
  12. parent has been deleted, or if the process representing it doesn't
  13. appear in the parent.  When ANAL has finished with all the diagrams, it
  14. will report its statistics, something like this:
  15.  
  16. Statistics: Total diagrams: 17; Total errors: 5
  17.  
  18. Global errors:
  19.     No DFDs matching |X| found
  20.     This error indicates that the DFD tree requested is empty.
  21.     No such check function X
  22.         This error indicates that the user has requested that a non-existent
  23.     check be turned on or off
  24.     Illegal switch: |X|
  25.         This error indicates that a 'dash' option was given on the command
  26.     line that was not understood
  27.     Usage: ANAL [-a] [-i] [-pproject-dir] [-d] [starting_dfd_number]
  28.         This error indicates that the user has given an illegal command line.
  29.  
  30. Checks:
  31.   process flows
  32.         This test checks that all processes have at least one flow in, and
  33.     at least one flow out.  ERROR
  34.   process count
  35.         This test checks that the maximum number of processes per diagram
  36.     has not been exceeded.  The predefined limit is 8, and will be
  37.     configurable (but isn't yet).  WARNING.
  38.   process child or minispec
  39.         This test checks that each process has a minispec OR a child diagram.
  40.     WARNING.  It also checks that no process has a minispec AND a child
  41.     diagram. ERROR.
  42.   flow endpoints
  43.         This test checks that each flow has a process or boundary point at
  44.     one end. ERROR.
  45.   duplicate names
  46.     This test ensures that no two processes, externals, flows, or
  47.     stores are named alike in a single diagram.  Flows and stores
  48.     are checked for aliases as well.  WARNING.
  49.   flow names
  50.         This test checks that all flows that do not terminate at stores or
  51.     flow splitters are named.  Flows that do terminate at stores
  52.     must either be unnamed or named with an alias of the store name.
  53.   store flows
  54.         This test checks that all double-line stores have both in and out
  55.     flows. ERROR.
  56.   store double
  57.         This test checks that any double-line store does NOT appear in its
  58.     parent.  It also checks that any single-line store DOES appear
  59.         in its parent. ERROR.
  60.   parent child name check
  61.         This test checks that the diagram name is the same as its process
  62.     name in the parent. ERROR.
  63.   parent child flows
  64.     The decomposition part of this test is not implemented.
  65.     This test checks that all input flows from the parent are in the 
  66.     parent diagram, or aliased to flows in the parent diagram, or 
  67.     decomposed from flows in the parent diagram.
  68.   external context
  69.     This test will report any diagrams other than the context
  70.     diagram that contain externals.  ERROR.
  71.  
  72. The Configuration file:
  73.  
  74. The configuration file, config.anal (in DOS this appears config.ana),
  75. allows each of the individual tests to be turned on or off.  The way to
  76. affect a particular test is to enter the line
  77.     test name = on/off
  78. The mechanism is case insensitive.  Test names are those in the following
  79. list:
  80.  
  81.     process flows            process count
  82.     process child or minispec    flow endpoints
  83.     flow names            store flows
  84.     store double            parent child name check
  85.     parent child flows        duplicate names
  86.     external context
  87.